(*
 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: GPL-2.0-only
 *)

chapter "System-Initialisation"

(*
 * System Initialisation.
 *)

session SysInit = DSpecProofs +
  sessions
    Sep_Algebra
    SepDSpec
    DSpecProofs
  theories
    "Proof_SI"

session SysInitExamples in "examples" = SysInit +
  theories
    "ExampleSpec_SI"
    "ExampleSpecIRQ_SI"
